formal logic 예문

• John Nevile published Formal Logic four months after John Maynard was born.
  존 Nevile 정장 논리로 출판 존 Maynard 4 개월 만에 태어났다.
• He wrote a paper Formal logic in finite terms, based on his thesis, which was published in 1931 in the Annals of Mathematics.
  그는 1931 년에 어떤 수학 실록에로 출판 되었음 : 자신의 논문을 기반으로 유한 측면에서 종이 정장 논리를 썼습니다.
• He went on to receive a doctorate from Princeton University in 1934, supervised by Church , for a thesis entitled A Theory of Positive Integers in Formal Logic.
  그는 논문을 위해 1934 년 프린스턴 대학에서 박사 학위를, 교회의 감독하에 수신하는 방법에 대한 이론 정장 논리에 긍정적인 정수의 자격했다.
• Over a long and varied career, Bertrand Russell made ground-breaking contributions to the foundations of mathematics and to the development of contemporary formal logic, as well as to analytic philosophy.
  오래하고 다양한 경력 동안, 버트 란드 러셀과 현대의 공식 논리의 발전뿐만 아니라, 분석 철학을 깨고 그라운드 - 수학의 기초에 기여했다.
• Tarski made important contributions in many areas of mathematics: set theory, measure theory , topology , geometry, classical and universal algebra, algebraic logic, various branches of formal logic and metamathematics.
  Tarski 수학의 여러 분야에서 중요한 공헌을했다 : 집합 이론, 측정 이론, 토폴로지, 기하학, 클래식과 보편 대수학, 대수 논리, 공식적인 논리와 metamathematics의 다양한 지점.
• His second paper on mathematics On a problem of formal logic was read to the London Mathematical Society on 13 December 1928 and published in the Proceedings of the London Mathematical Society in 1930.
  형식 논리의 수학 문제에 대한 그의 두 번째 종이 런던 수학 사회 1928년 12월 13일 읽을되었고 논문집 런던 수리 학회의 1930 년 발표했다.